A Logical Approach to Reasoning by Analogy
نویسندگان
چکیده
We analyze the logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance. The form of the assumptions which justify analogies is given schematically as the "determination rule", so called because it expresses the relation of one set of variables determining the values of another set. The determination relation is a logical generalization of the different types of dependency relations denned in database theory. Specifically, we define determination as a relation between schemata of first order logic that have two kinds of free variables: (1) object variables and (2) what we call "polar" variables, which hold the place of t ruth values. Determination rules facilitate sound rule inference and valid conclusions projected by analogy from single instances, without implying what the conclusion should be prior to an inspection of the instance. They also provide a way to specify what information is sufficiently relevant to decide a question, prior to knowledge of the answer to the question.
منابع مشابه
Analogy in Farabi's Thought
Thinkers and philosophers have constantly benefited from different approaches of reasoning to explore and justify their ideas. Theses reasoning approaches are considered as the principle instruments in speculative activities of the thinkers. To this end to achieve the procedure of thinking and the way philosophers achieve objectives, it is necessary to recognize their reasoni...
متن کاملPreduction: A Common Form of Induction and Analogy
Deduction, induction, and analogy pervade all our thinking. In contrast with deduction, understanding logical aspects of induction and analogy is stil l an important and challenging issue of artificial intelligence. This paper describes a logical formalization, called production, of common conjectural reasoning of both induction and analogy. By introduction of preduction, analogical reasoning i...
متن کاملRe-representation in a Logic-Based Model for Analogy Making
Analogical reasoning plays an important role for cognitively demanding tasks. A major challenge in computing analogies concerns the problem of adapting the representation of the domains in a way that the analogous structures become obvious, i.e. finding and, in certain circumstances, generating appropriate representations that allow for computing an analogical relation. We propose to resolve th...
متن کاملWorking Papers of the 1 st International Workshop on S imilarity and A nalogy - based M ethods in AI
Analogies play an important role in many reasoning tasks. In this paper, we survey a recently proposed modeling for an analogical proportion, i.e. a statement of the form “A is to B as C is to D”, and its diverse applications. The logical representation used for encoding such proportions takes both into account what the four situations have in common and how they differ. Thanks to the use of a ...
متن کاملAnalogical Reasoning
Logical and analogical reasoning are sometimes viewed as mutually exclusive alternatives, but formal logic is actually a highly constrained and stylized method of using analogies. Before any subject can be formalized to the stage where logic can be applied to it, analogies must be used to derive an abstract representation from a mass of irrelevant detail. After the formalization is complete, ev...
متن کاملReasoning with Associative Memories
Reasoning is, undoubtedly, an important biological activity. Emerged at some point of biological evolution, reasoning is a neural function with a decisive role for the kind of life style that the human beings have developed. The knowledge of the external world, in fact one of the highlights of human culture, is a direct consequence of the capacity of reasoning. Let me quote some of Alfred Lotka...
متن کامل